Optimal. Leaf size=154 \[ -\frac {b^2 \tanh ^{-1}\left (\frac {\sqrt {c} x}{\sqrt {b x+c x^2}}\right ) \left (-8 b c (A e+B d)+16 A c^2 d+5 b^2 B e\right )}{64 c^{7/2}}+\frac {(b+2 c x) \sqrt {b x+c x^2} \left (-8 b c (A e+B d)+16 A c^2 d+5 b^2 B e\right )}{64 c^3}-\frac {\left (b x+c x^2\right )^{3/2} (-8 c (A e+B d)+5 b B e-6 B c e x)}{24 c^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.14, antiderivative size = 154, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {779, 612, 620, 206} \[ \frac {(b+2 c x) \sqrt {b x+c x^2} \left (-8 b c (A e+B d)+16 A c^2 d+5 b^2 B e\right )}{64 c^3}-\frac {b^2 \tanh ^{-1}\left (\frac {\sqrt {c} x}{\sqrt {b x+c x^2}}\right ) \left (-8 b c (A e+B d)+16 A c^2 d+5 b^2 B e\right )}{64 c^{7/2}}-\frac {\left (b x+c x^2\right )^{3/2} (-8 c (A e+B d)+5 b B e-6 B c e x)}{24 c^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 206
Rule 612
Rule 620
Rule 779
Rubi steps
\begin {align*} \int (A+B x) (d+e x) \sqrt {b x+c x^2} \, dx &=-\frac {(5 b B e-8 c (B d+A e)-6 B c e x) \left (b x+c x^2\right )^{3/2}}{24 c^2}+\frac {\left (\frac {5}{2} b^2 B e+4 c (2 A c d-b (B d+A e))\right ) \int \sqrt {b x+c x^2} \, dx}{8 c^2}\\ &=\frac {\left (16 A c^2 d+5 b^2 B e-8 b c (B d+A e)\right ) (b+2 c x) \sqrt {b x+c x^2}}{64 c^3}-\frac {(5 b B e-8 c (B d+A e)-6 B c e x) \left (b x+c x^2\right )^{3/2}}{24 c^2}-\frac {\left (b^2 \left (16 A c^2 d+5 b^2 B e-8 b c (B d+A e)\right )\right ) \int \frac {1}{\sqrt {b x+c x^2}} \, dx}{128 c^3}\\ &=\frac {\left (16 A c^2 d+5 b^2 B e-8 b c (B d+A e)\right ) (b+2 c x) \sqrt {b x+c x^2}}{64 c^3}-\frac {(5 b B e-8 c (B d+A e)-6 B c e x) \left (b x+c x^2\right )^{3/2}}{24 c^2}-\frac {\left (b^2 \left (16 A c^2 d+5 b^2 B e-8 b c (B d+A e)\right )\right ) \operatorname {Subst}\left (\int \frac {1}{1-c x^2} \, dx,x,\frac {x}{\sqrt {b x+c x^2}}\right )}{64 c^3}\\ &=\frac {\left (16 A c^2 d+5 b^2 B e-8 b c (B d+A e)\right ) (b+2 c x) \sqrt {b x+c x^2}}{64 c^3}-\frac {(5 b B e-8 c (B d+A e)-6 B c e x) \left (b x+c x^2\right )^{3/2}}{24 c^2}-\frac {b^2 \left (16 A c^2 d+5 b^2 B e-8 b c (B d+A e)\right ) \tanh ^{-1}\left (\frac {\sqrt {c} x}{\sqrt {b x+c x^2}}\right )}{64 c^{7/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.43, size = 177, normalized size = 1.15 \[ \frac {\sqrt {x (b+c x)} \left (\sqrt {c} \left (-2 b^2 c (12 A e+12 B d+5 B e x)+8 b c^2 (2 A (3 d+e x)+B x (2 d+e x))+16 c^3 x (A (6 d+4 e x)+B x (4 d+3 e x))+15 b^3 B e\right )-\frac {3 b^{3/2} \sinh ^{-1}\left (\frac {\sqrt {c} \sqrt {x}}{\sqrt {b}}\right ) \left (-8 b c (A e+B d)+16 A c^2 d+5 b^2 B e\right )}{\sqrt {x} \sqrt {\frac {c x}{b}+1}}\right )}{192 c^{7/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.72, size = 408, normalized size = 2.65 \[ \left [\frac {3 \, {\left (8 \, {\left (B b^{3} c - 2 \, A b^{2} c^{2}\right )} d - {\left (5 \, B b^{4} - 8 \, A b^{3} c\right )} e\right )} \sqrt {c} \log \left (2 \, c x + b + 2 \, \sqrt {c x^{2} + b x} \sqrt {c}\right ) + 2 \, {\left (48 \, B c^{4} e x^{3} + 8 \, {\left (8 \, B c^{4} d + {\left (B b c^{3} + 8 \, A c^{4}\right )} e\right )} x^{2} - 24 \, {\left (B b^{2} c^{2} - 2 \, A b c^{3}\right )} d + 3 \, {\left (5 \, B b^{3} c - 8 \, A b^{2} c^{2}\right )} e + 2 \, {\left (8 \, {\left (B b c^{3} + 6 \, A c^{4}\right )} d - {\left (5 \, B b^{2} c^{2} - 8 \, A b c^{3}\right )} e\right )} x\right )} \sqrt {c x^{2} + b x}}{384 \, c^{4}}, -\frac {3 \, {\left (8 \, {\left (B b^{3} c - 2 \, A b^{2} c^{2}\right )} d - {\left (5 \, B b^{4} - 8 \, A b^{3} c\right )} e\right )} \sqrt {-c} \arctan \left (\frac {\sqrt {c x^{2} + b x} \sqrt {-c}}{c x}\right ) - {\left (48 \, B c^{4} e x^{3} + 8 \, {\left (8 \, B c^{4} d + {\left (B b c^{3} + 8 \, A c^{4}\right )} e\right )} x^{2} - 24 \, {\left (B b^{2} c^{2} - 2 \, A b c^{3}\right )} d + 3 \, {\left (5 \, B b^{3} c - 8 \, A b^{2} c^{2}\right )} e + 2 \, {\left (8 \, {\left (B b c^{3} + 6 \, A c^{4}\right )} d - {\left (5 \, B b^{2} c^{2} - 8 \, A b c^{3}\right )} e\right )} x\right )} \sqrt {c x^{2} + b x}}{192 \, c^{4}}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.23, size = 205, normalized size = 1.33 \[ \frac {1}{192} \, \sqrt {c x^{2} + b x} {\left (2 \, {\left (4 \, {\left (6 \, B x e + \frac {8 \, B c^{3} d + B b c^{2} e + 8 \, A c^{3} e}{c^{3}}\right )} x + \frac {8 \, B b c^{2} d + 48 \, A c^{3} d - 5 \, B b^{2} c e + 8 \, A b c^{2} e}{c^{3}}\right )} x - \frac {3 \, {\left (8 \, B b^{2} c d - 16 \, A b c^{2} d - 5 \, B b^{3} e + 8 \, A b^{2} c e\right )}}{c^{3}}\right )} - \frac {{\left (8 \, B b^{3} c d - 16 \, A b^{2} c^{2} d - 5 \, B b^{4} e + 8 \, A b^{3} c e\right )} \log \left ({\left | -2 \, {\left (\sqrt {c} x - \sqrt {c x^{2} + b x}\right )} \sqrt {c} - b \right |}\right )}{128 \, c^{\frac {7}{2}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.05, size = 372, normalized size = 2.42 \[ \frac {A \,b^{3} e \ln \left (\frac {c x +\frac {b}{2}}{\sqrt {c}}+\sqrt {c \,x^{2}+b x}\right )}{16 c^{\frac {5}{2}}}-\frac {A \,b^{2} d \ln \left (\frac {c x +\frac {b}{2}}{\sqrt {c}}+\sqrt {c \,x^{2}+b x}\right )}{8 c^{\frac {3}{2}}}-\frac {5 B \,b^{4} e \ln \left (\frac {c x +\frac {b}{2}}{\sqrt {c}}+\sqrt {c \,x^{2}+b x}\right )}{128 c^{\frac {7}{2}}}+\frac {B \,b^{3} d \ln \left (\frac {c x +\frac {b}{2}}{\sqrt {c}}+\sqrt {c \,x^{2}+b x}\right )}{16 c^{\frac {5}{2}}}-\frac {\sqrt {c \,x^{2}+b x}\, A b e x}{4 c}+\frac {\sqrt {c \,x^{2}+b x}\, A d x}{2}+\frac {5 \sqrt {c \,x^{2}+b x}\, B \,b^{2} e x}{32 c^{2}}-\frac {\sqrt {c \,x^{2}+b x}\, B b d x}{4 c}-\frac {\sqrt {c \,x^{2}+b x}\, A \,b^{2} e}{8 c^{2}}+\frac {\sqrt {c \,x^{2}+b x}\, A b d}{4 c}+\frac {5 \sqrt {c \,x^{2}+b x}\, B \,b^{3} e}{64 c^{3}}-\frac {\sqrt {c \,x^{2}+b x}\, B \,b^{2} d}{8 c^{2}}+\frac {\left (c \,x^{2}+b x \right )^{\frac {3}{2}} B e x}{4 c}+\frac {\left (c \,x^{2}+b x \right )^{\frac {3}{2}} A e}{3 c}-\frac {5 \left (c \,x^{2}+b x \right )^{\frac {3}{2}} B b e}{24 c^{2}}+\frac {\left (c \,x^{2}+b x \right )^{\frac {3}{2}} B d}{3 c} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.54, size = 295, normalized size = 1.92 \[ \frac {1}{2} \, \sqrt {c x^{2} + b x} A d x + \frac {5 \, \sqrt {c x^{2} + b x} B b^{2} e x}{32 \, c^{2}} + \frac {{\left (c x^{2} + b x\right )}^{\frac {3}{2}} B e x}{4 \, c} - \frac {A b^{2} d \log \left (2 \, c x + b + 2 \, \sqrt {c x^{2} + b x} \sqrt {c}\right )}{8 \, c^{\frac {3}{2}}} - \frac {5 \, B b^{4} e \log \left (2 \, c x + b + 2 \, \sqrt {c x^{2} + b x} \sqrt {c}\right )}{128 \, c^{\frac {7}{2}}} + \frac {\sqrt {c x^{2} + b x} A b d}{4 \, c} + \frac {5 \, \sqrt {c x^{2} + b x} B b^{3} e}{64 \, c^{3}} - \frac {5 \, {\left (c x^{2} + b x\right )}^{\frac {3}{2}} B b e}{24 \, c^{2}} - \frac {\sqrt {c x^{2} + b x} {\left (B d + A e\right )} b x}{4 \, c} + \frac {{\left (B d + A e\right )} b^{3} \log \left (2 \, c x + b + 2 \, \sqrt {c x^{2} + b x} \sqrt {c}\right )}{16 \, c^{\frac {5}{2}}} - \frac {\sqrt {c x^{2} + b x} {\left (B d + A e\right )} b^{2}}{8 \, c^{2}} + \frac {{\left (c x^{2} + b x\right )}^{\frac {3}{2}} {\left (B d + A e\right )}}{3 \, c} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.44, size = 299, normalized size = 1.94 \[ A\,d\,\sqrt {c\,x^2+b\,x}\,\left (\frac {x}{2}+\frac {b}{4\,c}\right )-\frac {5\,B\,b\,e\,\left (\frac {b^3\,\ln \left (\frac {b+2\,c\,x}{\sqrt {c}}+2\,\sqrt {c\,x^2+b\,x}\right )}{16\,c^{5/2}}+\frac {\sqrt {c\,x^2+b\,x}\,\left (-3\,b^2+2\,b\,c\,x+8\,c^2\,x^2\right )}{24\,c^2}\right )}{8\,c}-\frac {A\,b^2\,d\,\ln \left (\frac {\frac {b}{2}+c\,x}{\sqrt {c}}+\sqrt {c\,x^2+b\,x}\right )}{8\,c^{3/2}}+\frac {A\,b^3\,e\,\ln \left (\frac {b+2\,c\,x}{\sqrt {c}}+2\,\sqrt {c\,x^2+b\,x}\right )}{16\,c^{5/2}}+\frac {B\,b^3\,d\,\ln \left (\frac {b+2\,c\,x}{\sqrt {c}}+2\,\sqrt {c\,x^2+b\,x}\right )}{16\,c^{5/2}}+\frac {A\,e\,\sqrt {c\,x^2+b\,x}\,\left (-3\,b^2+2\,b\,c\,x+8\,c^2\,x^2\right )}{24\,c^2}+\frac {B\,d\,\sqrt {c\,x^2+b\,x}\,\left (-3\,b^2+2\,b\,c\,x+8\,c^2\,x^2\right )}{24\,c^2}+\frac {B\,e\,x\,{\left (c\,x^2+b\,x\right )}^{3/2}}{4\,c} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \sqrt {x \left (b + c x\right )} \left (A + B x\right ) \left (d + e x\right )\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________